تحلیل خودکار بازی رایانه ای با استفاده از شبکه پتری رنگی

وجود اشکال در طراحی از عوامل ایجاد نقص در سیستم است. تشخیص و رفع ایرادها در مرحله طراحی مانع از افزایش هزینه و زمان تولید سیستم می گردد. برای اثبات ویژگی های رفتاری سامانه ها از روش های رسمی استفاده می شود. برای اطمینان از عدم وجود بن بست، تضمین وجود جواب و تعیین میزان پیچیدگی معما، از روش های رسمی در طراحی معمای بازی های رایانه ای می توان استفاده کرد. شبکه پتری رنگی سلسله مراتبی یک روش رسمی مدل سازی است که می تواند برای ارزیابی معماهای بازی های رایانه ای مانند جورچین های طراحی مسیر استفاده شود. بازی unblock me به عنوان یک مثال موردی در این مقاله مدل سازی شده و تحلیل خودکار دو معمای آن موردبررسی قرار گرفته است. مدل سازی بازی به صورت سلسله مراتبی انجام شده است. در این مقاله راه کارهای جدیدی برای حل مشکل انفجار حالت و کاهش زمان اجرای مدل ارائه گردیده است. مدل سازی باهدف امکان تحلیل خودکار فضای حالت سیستم انجام شده و توابع موردنیاز جهت اثبات ویژگی های رفتاری پیاده سازی شده است. این مقاله روشی برای مدل سازی و اثبات ویژگی های رفتاری بازی های رایانه ای از نوع جورچین را با استفاده از شبکه پتری رنگی سلسله مراتبی ارائه کرده و قابل تعمیم به بازی های مشابه است.